1. Completeness, compactness, and undecidability : an introduction to mathematical logic
پدیدآورنده : Manaster, Alfred B
موضوع : ، Logic, Symbolic and mathematical,، Predicate calculus
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2. Introduction to mathematical logic and its applications
پدیدآورنده : Rosenbaum,Ira
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Predicate calculus
رده :
QA
9
.
35
.
R6
3. Logikē :
پدیدآورنده : Dēmētrēs Portidēs, Stathēs Psyllos, Dionysios Anapolitanos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Debates and debating.,Logic, Symbolic and mathematical -- Problems, exercises, etc.,Predicate calculus -- Problems, exercises, etc.
4. Technical methods in philosophy /
پدیدآورنده : John L. Pollock.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : First-order logic.,Logic, Symbolic and mathematical.,Metatheory.,Predicate calculus.,Set theory.,Filosofie.,First-order logic.,First-order logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik,Metatheory.,Metatheory.,Predicate calculus.,Predicate calculus.,Predicatenlogica.,Satz,Set theory.,Set theory.,Theorie,Verzamelingen (wiskunde)
رده :
BC135
.
P683
1990